state equivalence method